formal specification - Almanca İngilizce Sözlük